Die Stabilisierung von Vinylkationen durch Silicium erlaubt eine formale, metallfreie α‐Arylierung von Alkylketonen

Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen

Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2

State Machines In diesem Kapitel wird der Formalismus der Abstract State Machines (ASMs) eingeführt. Mit den ASMs kann das Verhalten eines Systems formal beschrieben werden, wie im nächsten Abschnitt erläutert wird. In dieser Arbeit werden die ASMs verwendet, um die formalen Semantiken der einzelnen UML 2 Modelle und die Semantik für deren Verknüpfung zu spezifizieren (siehe Kapitel 4). Für ein...

Die formale Beschreibung von high-level Syntheseschritten für analoge Systemkomponenten

Abstrakt— Der Stand der Forschung auf dem Gebiet des automatisierten Entwurfs kann auf der Grundlage des von Gajski/Kuhn propagierten YDiagramms [1] analysiert und charakterisiert werden. Bekannte high-level Syntheseansätze für analoge Baugruppen beschränken sich auf die elektrische Beschreibungsdomäne. Ebenso kann bei der Synthese analoger Komponenten der Aspekt der Informationsverarbeitung in...

Vorteile durch eine Verschmelzung von eLearning und Knowledge Management

Informationstechnologie (IT) ist aus vielen Unternehmen nicht mehr wegzudenken. Es drängt sich der Begriff der IT-Landschaft in Unternehmen auf: Insellösungen decken aus unternehmerischer Sicht einzelne, oft separat betrachtete Teilaspekte ab. Durch Knowledge Management, Content Management, Dokumenten Management, Portal, Information Retrieval, Geschäftsprozesse, Projektzusammenarbeit, und eLear...

Integration von Legacy-Anwendungen durch eine Beobachter-Architektur

Zentrales Anliegen bei der Erstellung großer Software-Systeme ist die Integration bereits existierender Anwendungen. Diese Aufgabe ist für Altsysteme, die über keine geeigneten Schnittstellen verfügen, besonders schwierig. In diesem Artikel wird eine Architektur vorgestellt, die eine Integration der bestehenden Systeme auf Datenebene erlaubt. Entgegen den meisten Integrationsansätzen, die auf a...